Semantic Orthogonality of Type Disciplines
نویسندگان
چکیده
We consider a version of PCF, and prove, using both syntactic and semantic means, that the op-erational equivalences of the base language are preserved when the language is extended with sum andproduct types, with polymorphic types, and with recursive types. These theorems show that the additionsto the type systems are orthogonal to the original language.
منابع مشابه
Orthogonal stability of mixed type additive and cubic functional equations
In this paper, we consider orthogonal stability of mixed type additive and cubic functional equation of the form $$f(2x+y)+f(2x-y)-f(4x)=2f (x+y)+2f(x-y)-8f(2x) +10f(x)-2f(-x),$$ with $xbot y$, where $bot$ is orthogonality in the sense of Ratz.
متن کاملOn Approximate Birkhoff-James Orthogonality and Approximate $ast$-orthogonality in $C^ast$-algebras
We offer a new definition of $varepsilon$-orthogonality in normed spaces, and we try to explain some properties of which. Also we introduce some types of $varepsilon$-orthogonality in an arbitrary $C^ast$-algebra $mathcal{A}$, as a Hilbert $C^ast$-module over itself, and investigate some of its properties in such spaces. We state some results relating range-kernel orthogonality in $C^*$-algebras.
متن کاملA characterization of orthogonality preserving operators
In this paper, we characterize the class of orthogonality preserving operators on an infinite-dimensional Hilbert space $H$ as scalar multiples of unitary operators between $H$ and some closed subspaces of $H$. We show that any circle (centered at the origin) is the spectrum of an orthogonality preserving operator. Also, we prove that every compact normal operator is a strongly orthogo...
متن کاملOrthogonality preserving mappings on inner product C* -modules
Suppose that A is a C^*-algebra. We consider the class of A-linear mappins between two inner product A-modules such that for each two orthogonal vectors in the domain space their values are orthogonal in the target space. In this paper, we intend to determine A-linear mappings that preserve orthogonality. For this purpose, suppose that E and F are two inner product A-modules and A+ is the set o...
متن کاملOrthogonality of Syntax and Semantics within Distributional Spaces
A recent distributional approach to wordanalogy problems (Mikolov et al., 2013b) exploits interesting regularities in the structure of the space of representations. Investigating further, we find that performance on this task can be related to orthogonality within the space. Explicitly designing such structure into a neural network model results in representations that decompose into orthogonal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997